quantifier-free conjunctive-normal form中文是什么意思

• 自由量词合榷式

• "quantifier"中文翻译    n. 【逻辑学】限量词〔用 all, some 等语词以 ...
• "free"中文翻译    adj. (freer; freest) 1.自由的，自 ...
• "conjunctive"中文翻译    adj. 1.连结(着)的；【数学】契合的，合取的；【语 ...
• "normal"中文翻译    adj. 1.正常的，平常的，普通的；平均的。 2.正规 ...
• "form"中文翻译    n. 1.形态；形状；样子，外貌；【哲学】形式 (opp ...
• "cnf conjunctive normal form" 中文翻译 :    连接标准形式
• "conjunctive normal form" 中文翻译 :    合取范式; 合榷式
• "normal conjunctive form" 中文翻译 :    合取范式
• "prenex-conjunctive normal form" 中文翻译 :    前束合榷式
• "principal conjunctive normal form" 中文翻译 :    主合榷式
• "quantifier-free" 中文翻译 :    无量词
• "conjunctive form" 中文翻译 :    合取式
• "canonical conjunctive form" 中文翻译 :    逻辑积标准形
• "normal form" 中文翻译 :    标准形式; 法线式; 范式; 规格化形式
• "canonical form; normal form" 中文翻译 :    范式
• "quantifier" 中文翻译 :    n. 【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。
• "free form" 中文翻译 :    游离态; 自由格式; 自由形式; 自由形态
• "free-form" 中文翻译 :    adj. 形式[造型]自由的；线条不规则的；独创性的；反传统的；任意的。
• "conjunctive" 中文翻译 :    adj. 1.连结(着)的；【数学】契合的，合取的；【语法】(有)连接(作用)的。 2.【计算机】逻辑乘法的。 n. 【语法】连词。 adv. -ly
• "metric normal form of quadratic form" 中文翻译 :    二次形式的度量标准形式
• "alternative normal form" 中文翻译 :    析取范式; 析榷式
• "backus normal form" 中文翻译 :    backus正常形式; 巴科斯诺尔范式; 巴科斯范式
• "backus normal form (bnf)" 中文翻译 :    backus正常形式
• "barcus normal form，bnf" 中文翻译 :    范式
• "beta normal form" 中文翻译 :    beta范式